observational equivalence การใช้

• The tool is capable of evaluating reachability properties, correspondence assertions and observational equivalence.
• Second, the calculus is a sound equational reasoning system with respect to Morris's notion of observational equivalence.
• Miller also argues that " Emphasis on conventionalism . . . led Poincar?and Lorentz to continue to believe in the mathematical and observational equivalence of special relativity and Lorentz's electron theory.